On the Notion of Object. A Logical Genealogy
نویسنده
چکیده
We argue that logic is not a uniform terrain where all truths lie on a par. We analyze the apparatus of first-order classical logic with identity into two main ingredients: a deeper and wider component and, on top of it, a narrower component which consists of principles that articulate our modern notion of object.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملFree Extended BCK-Module
In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-mod...
متن کاملThe Genealogy of the Relationship between Human and Nature in the Iranian Contemporary Architecture, based on Foucault's idea (Case Study: Pahlavi Period)
Human is a small part of nature and with its constant presence in the natural environment, it was able to create an artificial and man-made environment tailored to its needs. Identifying structural components of nature and adapting them to the three dimensions of body, spirit and soul and their role in creating physical, functional and content components in architecture, is the beginning of the...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کامل